Language and Computation (LaCo) | Logic and Language (LoLa) | Logic and Computation (LoCo) | |
---|---|---|---|
2021-08-04T09:45:00+02:00 - 2021-08-04T11:15:00+02:00 09:45 - 11:15 |
From Proof Nets to Combinatorial Proofs — A new approach to Hilbert’s 24th problem Willem Heijltjes, Lutz Straßburger Advanced | ||
2021-08-04T11:30:00+02:00 - 2021-08-04T13:00:00+02:00 11:30 - 13:00 |
Theoretical and Methodological Approaches to Animal Semantics: a Super Linguistic Introduction Patrick Georg Grosz, Mélissa Berthet Introductory | ||
2021-08-04T13:00:00+02:00 - 2021-08-04T14:00:00+02:00 13:00 - 14:00 | break | ||
2021-08-04T14:00:00+02:00 - 2021-08-04T15:30:00+02:00 14:00 - 15:30 | |||
2021-08-04T16:00:00+02:00 - 2021-08-04T17:30:00+02:00 16:00 - 17:30 |
Information Theory in Linguistics: Methods and Applications Adina Williams, Ryan Cotterell, Richard Futrell Advanced | ||
2021-08-04T18:00:00+02:00 - 2021-08-04T19:00:00+02:00 18:00 - 19:00 |
Evening lecture Categorial Grammar + Distributional Semantics = Quantum NLP Stephen Clark evening lectures start at 17:45 |